منابع مشابه
Lectures on Lax - Algebraic Methods in General Topology
(1) Ord: objects are (pre)ordered sets (= sets with a reflexive and transitive relation, no antisymmetry condition), with monotone maps. Formally: (X, a) with 1. a(x, x), 2. a(x, y) ∧ a(y, z) a(x, z), f : (X, a) − → (Y, b) with a(x, y) b(f (x), f (y)). (2) Met: objects are (generalized) metric spaces (=sets with a function a : X ×X − → [0, ∞] that is 0 on the diagonal and satisfies the triangle...
متن کاملOn Quantic Conuclei in Orthomodular Lattices
In this paper we study the lattice of conuclei for orthomodular lattices. We show that under certain conditions we can get a complete characterization of all quantic conuclei. The thing to note is that we use a non-commutative, non-associative disjunction operator which can be thought of as from non-commutative, non-associative linear logic.
متن کاملOn lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملPropositional Lax Logic Propositional Lax Logic
We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...
متن کاملQuantiied Lax Logic Quantiied Lax Logic
Lax Logic is an intuitionistic modal logic which has so far been investigated at the propositional level. It has shown itself to have applications in the formal veriication of hardware|a logical modality is used to capture and express the correctness of speciicationsùp to' behavioural constraints. A translation from Quantiied Lax Logic to a quantiied classical modal logic is presented which ena...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics for Application
سال: 2016
ISSN: 1805-3610,1805-3629
DOI: 10.13164/ma.2016.05